complex inner product space